/* test.c
 *	Simple program to test whether the systemcall interface works.
 *	
 */

#include "syscall.h"

int
main()
{
  Exec("../test/add");

  Halt();
  /* not reached */
}
